Dialectica interpretation

#	Item
11	Programs from Proofs IV Programs from Proofs IV Programs from classical proofs via G¨ odel’s dialectica interpretation Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2011-05-27 18:07:14 Metalogic Dialectica interpretation First-order logic Constructible universe Curry–Howard correspondence Binomial coefficient Mathematical logic Proof theory Logic
12	Cartesian Closed Dialectica Categories Bodil Biering, IT University of Copenhagen, [removed] Add to Reading List Source URL: www.itu.dk Language: English - Date: 2008-04-02 09:52:44 Dialectica interpretation Intuitionism Proof theory Cartesian closed category Universal property Constructible universe Monad Function Fibred category Mathematics Category theory Mathematical logic
13	PDF Document Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2013-10-02 10:18:56 Proof theory Model theory Computability theory Functions and mappings Dialectica interpretation Intuitionism Interpretation Symbol Gödel–Gentzen negative translation Mathematical logic Logic Mathematics
14	PDF Document Add to Reading List Source URL: arxiv.org Language: English - Date: 2011-06-02 20:33:30 Mathematical constructivism Proof theory Intuitionism Non-classical logic Propositional calculus Realizability Intuitionistic logic Curry–Howard correspondence Dialectica interpretation Logic Mathematical logic Mathematics